1. Applied Formal Methods FM-Trends 98
پدیدآورنده : \ [Edited by] Dieter Hutter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
2. Correct System Design
پدیدآورنده : \ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67C6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Formal Aspects of Component Software
پدیدآورنده : \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Formal Aspects of Component Software
پدیدآورنده : \ [edited by] Ivan Lanese, Eric Madelaine.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Formal Methods
پدیدآورنده : \ [edited by] Christiano Braga, Narciso Marti-Oliet.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Formal methods
پدیدآورنده : \ Márcio Cornélio , Bill Roscoe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),روشهای صوری (کامپیوتر) -- کنگره ها ,روشهای صوری (کامپیوتر)
رده :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)